:: t -> t1 -> t package:regex-tdfa

This is the pure functional matching operator. If the target cannot be produced then some empty result will be returned. If there is an error in processing, then error will be called.